801. Rule interchange and applications
المؤلف: Guido Governatori, John Hall, Adrian Paschke (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Decision making-- Data processing, Congresses,Document markup languages, Congresses,Management information systems, Congresses,Metadata-- Standards, Congresses,Semantic Web, Congresses
رده :
QA76
.
76
.
H94
R88
2009eb
802. Rules on the web
المؤلف: Antonis Bikakis, Adrian Giurca (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Rule-based programming, Congresses
رده :
QA76
.
6
.
R85
2012eb
803. Runtime Verification
المؤلف: \ Ezio Bartocci, Rupak Majumdar (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Verification -- Congresses,Formal methods (Computer science) -- Congresses,Computer software -- Testing -- Congresses,نرمافزار -- راستی‌آزمایی -- کنگره ها,روش‌های صوری (کامپیوتر) -- کنگره ها,آزمون‌های کامپیوتری -- نرمافزار -- کنگره ها
رده :
QA
76
.
76
.
V47
R82
2015
E-Book
,
804. Runtime verificatio
المؤلف: / Saddek Bensalem, Doron A. Peled (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer programs--Verification--Congresses,Formal methods (Computer science)--Congresses,Computer programs--Testing--Congresses
رده :
QA
,
76
.
76
,.
V47
,
R88
,
2009
805. Runtime verification
المؤلف: Sarfraz Khurshid, Koushik Sen (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2011eb
806. Runtime verification :
المؤلف: Christian Colombo, Martin Leucker (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Computer programming-- software development.,Computer software-- Testing.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
76
.
V47
807. Runtime verification :
المؤلف: Axel Legay, Saddek Bensalem (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Testing, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
V47
R8
2013
808. S-BPM ONE - Scientific research
المؤلف: Christian Stary (ed.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business-- Data processing, Congresses,Computer network architectures, Congresses,Management information systems, Congresses,Software engineering, Congresses
رده :
T58
.
6
.
S37
2012beb
809. SDL '95 with MSC in CASE :
المؤلف: edited by Rolv Bræk, Amardeo Sarma.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer-aided software engineering-- Congresses.,SDL (Computer program language)-- Congresses.
810. SOFSEM 2013
المؤلف:
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses,Computer science,Software engineering,علوم کامپیوتر -- کنگره‌ها,علوم کامپیوتر,مهندسی ن‍رم اف‍زار
رده :
E-Book
,
811. SOFSEM 2015
المؤلف: \ [edited by] Giuseppe F. Italiano...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2015
E-Book
,
812. SOFSEM 2016
المؤلف: \ Rūsiņš Mārtiņš Freivalds , Gregor Engels, Barbara Catania (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses.,علوم کامپیوتر -- کنگره‌ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
S62
2016
E-Book
,
813. SOFSEM 2019 :
المؤلف: Barbara Catania, Rastislav Královič, Jerzy Nawrocki, Giovanni Pighizzini (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science, Congresses.,Software engineering, Congresses.,Computer science.,Software engineering.
رده :
QA75
.
5
814. Safe and secure software reuse :
المؤلف: John Favaro, Maurizio Morisio (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software -- Reusability -- Congresses.,Computer software -- Reusability.,Software engineering -- Congresses.
رده :
QA76
.
76
.
R47
J646
2013
815. Scenarios : models, transformations and tools : International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003 : revised selected papers
المؤلف: Stefan Leue, Tarja Johanna Systa )eds.(
المکتبة: (طهران)
موضوع: Graphic methods -- Congresses ، Software engineering,Congresses ، Computer network protocols,Congresses ، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
L28
Vol
.
3466
816. Scientific engineering for distributed Java applications : International Workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002 : revised papers
المؤلف: Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
2604
817. Scientific engineering of distributed Java applications
المؤلف: / Nicolas Guelfi, Egidio Astesiano, Gianna Reggio, eds
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Software engineering--Congresses,Electronic data processing--Distributed processing--Congresses,Java (Computer program language)--Congresses
رده :
QA
,
76
.
758
,.
F53
,
2003
818. Scientific engineering of distributed Java applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004 : revised selected papers
المؤلف: Nicolas Guelfi, Gianna Reggio, Alexander Romanovsky )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
3409
819. Scientific engineering of distributed Java applications : third international workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 : revised papers
المؤلف: Nicolas Guelfi, Egidio Astesiano, Gianna Reggio )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Software engineering,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
2952
820. Search-Based Software Engineering.
المؤلف: \ Márcio Barros , Yvan Labiche (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
758
.
S4
2015
E-Book
,
